Reviewed 4 of 6 files at r1, 2 of 2 files at r2, all commit messages.
Reviewable status: all files reviewed, 3 unresolved discussions (waiting on @amosStarkware and @TzahiTaub)

crates/committer/Cargo.toml line 15 at r2 (raw file):

pretty_assertions.workspace = true
rstest.workspace = true
rand.workspace = true

Suggestion:

pretty_assertions.workspace = true
rand.workspace = true
rstest.workspace = true

crates/committer/src/patricia_merkle_tree/types.rs line 83 at r2 (raw file):

            Ordering::Greater => adapted_self = adapted_self >> (bit_length - other_bit_length),
            Ordering::Equal => return *self,
        }

clearer?
also removes the need for Ordering.
if you like minimal amount of lines you can replace the if .. else with match .. true => .. false => ..

Suggestion:

    pub(crate) fn get_lca(&self, other: &NodeIndex) -> NodeIndex {
        if self == other {
            return *self;
        }
        let bit_length = self.bit_length();
        let other_bit_length = other.bit_length();

        // Bring self to the level of other.
        let adapted_self = if self < other {
            self << (other_bit_length - bit_length)
        } else {
            self >> (bit_length - other_bit_length)
        };

crates/committer/src/patricia_merkle_tree/types.rs line 86 at r2 (raw file):

        let xor = adapted_self.0 ^ other.0;
        // The length of the reminder after removing the common prefix of the two nodes.

typo

Suggestion:

remainder

Reviewable status: 2 of 6 files reviewed, 2 unresolved discussions (waiting on @amosStarkware and @dorimedini-starkware)

crates/committer/Cargo.toml line 15 at r2 (raw file):

pretty_assertions.workspace = true
rstest.workspace = true
rand.workspace = true

Done.

crates/committer/src/patricia_merkle_tree/types.rs line 83 at r2 (raw file):

Done.

Reviewed 4 of 4 files at r3, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @amosStarkware)

Reviewed 1 of 1 files at r4, all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @amosStarkware)

Reviewed all commit messages.
Reviewable status: complete! all files reviewed, all discussions resolved (waiting on @amosStarkware)